fix Malefile for MacOSX