Tools for Travis CI