one can now change cond_env in std.package