a few enhancements for travis_install