One more fix for CI build.