The build process for the ESP32 as described here https://docs.micropythonos.com/building/esp32/ fails.
It looks like this is due to hard coded paths.