[BENTO-24] "#" is not a valid comment character for Windows batch files

Use "REM" to avoid (admittedly harmless) errors.