minos Minos true fermi-desktop-onsite kernel-development openssh-server openafs-client kde gnome Minos-tag Minos-tree upsupdbootstrap upsupdbootstrap-generic zz_tex_tweaks zz_a2ps_stdout