cov_cmp: trimming input file names.