Quick fix for MaariMakefile