fixing issues with Travis CI integration