Fix broken travis-ci build