Tools for Travis