Fix build on Travis CI