Better fix for php::set_var