Solved; was "Missing Wifi.js, http.js?"

Admittedly, I'm not playing by the rules here -- running CLI espruino on a manually-flashed bare ESP32 -- but right now I'm getting:

Espruino.Core.Utils.getURL: got HTTP status code 404 for http://www.espruino.com/modules/http.min­.js
Espruino.Core.Utils.getURL: got HTTP status code 404 for http://www.espruino.com/modules/Wifi.min­.js
Espruino.Core.Utils.getURL: got HTTP status code 404 for http://www.espruino.com/modules/http.js
Module http not found
Espruino.Core.Utils.getURL: got HTTP status code 404 for http://www.espruino.com/modules/Wifi.js
Module Wifi not found

Shouldn't these files exist? Anyone else getting this? Have I missed something obvious?

Cheers,
Tom