bugfix in ++ in phpeval