I was wondering if anyone has tried to compile Espruino on Windows Subsystem for Linux?

I have a few long flights from Europe back to Australia and I thought it would be great to be able to continue testing some things I'm working on for my Picos but on Windows 10? I should have bought a Pico with me and then I could just use that but only thought about this project while I have been away.

So far I have got Debian installed with WSL. I have installed all the required build tools, cloned from git and then make. Everything looks ok. Then I try run Espruino and I get the following...

I don't know if it is the same problem, or this could help
but I compile on windows 7 (not 10 WSL) the ESP32 version
I flash it on an esp32 board.
I can make some test
but I can't use the reset() function because I have :