Hack to setup.py; used to install remotely...