Fix Tools/Scripts/update-webkitgtk-libs build failure in 'gst-plugins-bad'
Created attachment 380885 [details] Patch
Committed r251075: <https://trac.webkit.org/changeset/251075>
<rdar://problem/56252232>