cambiare l'estensione di un file non vuol dire cambiarne anche il formato