mono_pkg_pretend moved to mono_pkg_setup