Компилятор не создаёт hex-файл для esp32

ИИ уговорил (меня) создавать ВЕБ-радио на ESP32. И даже выдал код и сайт для скачки платформы. Скачал платформу. Компилит без проблем. Но - Создаёт только xxx.ino.bin, xxx.ino.elf, xxx.ino.partition
Скачал для Протеуса модель процессора ESP32. Но при попытке заставить его симулироваться с любым из этих файлов в роли прошивки - выдаёт ошибку о "не том виде файла". Думаю что нужен именно HEX-файл, но не знаю как заставить компилятор его создать. Видимо нужно редактировать настройки платформы.
ПС. Для скетчей с AVR процессорами - среда хекс-файлы генерит влёт. Соответственно Протеус влёт симулирует схему..
Прошу помощи знатоков. С уважением.