Fixing the build for travis-ci