let deb_host_arch = StdOpt.str_option ()