Implemented fromAuxtoFile, now the output file should be created correctly