I ended up building the patched PHP 7.4 source they made available for one of my machines; I wish I did not have to do that but there we are.