Fix undefined name in install.py

Thanks @Habbie