attempt at fixing Travis CI