fix bat file name for windows