yet another Mafefile fix