Try to make Travis happier