So only the openevse.hex file is required on Windows as well as Linux?

The flash.bat file referred to does some other stuff as well.

Anyway, I also have a laptop with Linux so will probably use that instead of Win 10.