Yet another build fix after r214502. Workaround webkit.org/b/169907 for now.