Jolín, pues no era eso… 🙁
Estoy empezando a pensar que el zip de la versión 1.5.23 que me he bajado va a tener algún fallo, y al descomprimir a lo mejor no me ha sacado todos los archivos correctamente.
Voy a hacer otra prueba. Voy a bajarme la versión 1.5.25 que creo que es la última, y voy a volver a cargar estos archivos otra vez, a ver si me sigue dando el mismo fallo.