Fix build in Travis CI