Try to fix the travis-ci build, attempt 10