fn strip_symbols_with_external_utility( sess: &Session, util: &str, out_filename: &Path, option: Option<&str>, )