should fix Travis CI integration