Fix the build on Travis-CI