added support for travis pro