Attempt to fix travis-ci build.

(Not entirely sure why this caused a problem there that compiles properly
locally...)