Fix make.py to work on MacOSX