trying to fix Travis CI integration