PHP 5.6.3RC1 with phpdbg_webhelper extension