Quick fix for CI build issue.