Test: Another attempt at fixing Travis CI