added Travis CI pin