Third attempt at fixing the travis-ci build