Added support for Travis Pro