Attempt to make Travis CI work again