This reverts commit 0b49d5dd #55500. I'm sorry, I'm unable to fix the build quickly in other way than atop the older version. Certainly feel free to improve the approach.
