Fix mintInstall.py