One more travis fix