dos batch file fix