Remove last vestiges of JAVASCRIPTCORE_PRIVATE_HEADERS_DIR from WebKit