php-eval fix #9