Another attempt to make Travis CI happy