Another trial at fixing the travis ci build...