included latest changes to setup-htt.py