update bootstrap.py for Travis CI