build fix
<rdar://problem/106222259>
Pull request: https://github.com/WebKit/WebKit/pull/11052
The build must have been fixed since.