Attempt to fix travis CI build.