Prima di tutto grazie per la risposta.
Ma il mio dubbio è: non è che la cosa è dovuta ad un problema locale? Perchè mentre persone che scaricavano questo file dal server e si trovavano la versione vecchia, io nello stesso momento scaricavo lo stesso file, dallo stesso server ma andava tutto ok e mi trovavo la versione nuova.
Quindi pensavo potesse essere un problema di caching del browser o qualcosa del genere.
Il problema è che non è capitato ad una sola persona.