fixes Travis CI