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