We had a temporary error on the file server. The bug has been fixed and everything works fine.