batch file, not shell script; no the the