Fixed #check_if_xen_installed function