Remove obsolete batch file fix.