Fix bat file names.