fn strip_symbols_with_external_utility( sess: &Session, util: &str, out_filename: &Path, options: &[&str], )