Cannot flash to 1.12.0 using editor 1.12.2 on Windows 10

The issue turned out to be the same as this one: