force the installation of mirage-unix or mirage-xen depending on the backend