Adjustments for Travis CI build.