This used to be configured before PHP 7.4. After this, the configure.ac file changed and the sed command in debian/rules became a no-op. This patch restores the former behaviour to set the PHP_EXTRA_VERSION with the debian release so the internal PHP version will be the same as the package version.