Fix build on Travis CI (hopefully)