Trying to fix the build error on Travis CI