I software che cambiano il nome, dovrebbero poter cambiare anche (solo) l'estensione...