Try to fix the travis-ci build, attempt 11