Fix a build issue for Travis CI.