Utilizando los ficheros que vienen adjuntos no funciona. Hay que generarlos con el programa FUNSPLITTER a partir del fichero con extensión UPD.