fix segfault in execute_internal with PHP 5.5