maybe fix CI build issue?