Fix make.py