Le fichier mf.pool se trouve sous le nom mf.poo dans la distribution.