The patch to be attached fixes the build errors from https://bugs.webkit.org/show_bug.cgi?id=71373#c14.
Created attachment 114237 [details] Drop this from the review queue.
Sorry, I was the faster one. :) *** This bug has been marked as a duplicate of bug 71373 ***