Fix broken travis ci build