No longer using the xen os type in cabal