Convert INSTALL.py to single-quoted strings