Gruppo Utilizzatori Italiani di TeX
Grazie Enrico,
il problema si risolve decommentando la riga con la famiglia {min}, che non è bellissima ma funziona 🙂