IDE 1.8.13 installato compila ESP32, versione .zip invece no. Possibile?