build fix after 275627@main
<rdar://problem/124019553>
Pull request: https://github.com/WebKit/WebKit/pull/25435
Committed 275641@main (72d1af072313): <https://commits.webkit.org/275641@main> Reviewed commits have been landed. Closing PR #25435 and removing active labels.