PHP 7 - install-pear-nozlib.phar - ereg_replace() error

Hi, Quoting Ferenc's message about pear install error : > until this is fixed we have a "custom" install-pear-nozlib.phar built and > added to our repo, so instead of downloading the incompatible installer, we > use one with the fixes already present. > this is a hack/workaround for the time being, and that version still had an > issue which I just fixed, so now I was able to make install from master > when doing a configure --with-pear. So, I thought the problem was solved but I just fetched and compiled the php master branch, and the issue is still the same. In 'master' pear/install-pear-nozlib.phar dates back from March, 20. So, can someone tell me where, in which branch, the fixed version can be found ? Regards François