Fix mintinstall.py