Fails to build for ESP32-C3 devices: python not found.

[Bram Stolk]

When I build for an ESP32-C3 device, I get:

Archiving built core (caching) in: /tmp/arduino_cache_770055/core/core_esp32_esp32_esp32c3_CDCOnBoot_default,PartitionScheme_default,CPUFreq_160,FlashMode_qio,FlashFreq_80,FlashSize_4M,UploadSpeed_921600,DebugLevel_info_b3962d70060a4db8999dbe72a998a796.a
exec: "python": executable file not found in $PATH
Error compiling for board ESP32C3 Dev Module.

This is because the Python interpreter is called python3 and not python.

This error is supposedly not present in the direct-download of arduino IDE, only in the packaged version.

The IDE needs to invoke Python using python3 and never as python.