fix xdebug x64 for php-5.5