Add PHPDBG_VERSION constant in PHP-land.