update settings-dist.py and INSTALL