Fix build on Travis CI.