chore: fix the build breakage that came from a merge race#10239

bolinfest merged 1 commit intomainopenai/codex:mainfrom

pr10239openai/codex:pr10239Copy head branch name to clipboard