update INSTALL and setup.py