On 4/08/2012, at 8:15 AM, Paolo Ghirardato <paolo.ghirardato at gmail.com> wrote: > > Anybody else experiencing this? Is there something that you can suggest to fix this? Try a different server. This looks like the error I had with one server, and when I took off the auto-CTAN one and forced it to go somewhere, it worked again.