Fix zval_dtor misuse and disable this specific piece of code in PHP 5.1 and lower.