Cambiar la extensión de varios archivos en Linux