let deb_native_arch = StdOpt.str_option ()