integrating with Travis CI