Hi, There were a number of build problems caused by my PR https://github.com/php/php-src/pull/4678<https://github.com/php/php-src/pull/4678#issuecomment-532204164>
Today I got another report from Remi https://github.com/php/php-src/commit/f633c347574c0d814050b4bf2493e0cac6a5988c Although, the patch makes visible performance improvement, it's probably better to revert it and all the related fixes for PHP-7.4. Thanks. Dmitry.