Fix php::set_var