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