Fixed a bug in install.py