Also convert the benchmark input files.