Trying to fix the build for TravisCI