Нет должны быть именно файлы DEFAULT.PRG и DEFAULT.CHK
Чтобы их получить нужно скомпилировать проект: Проект->компилировать, потом Онлайн -> Создание загрузочного проекта.
В папке с проектом они появятся только у них название будет имяПрограммы.PRG и имяПрограммы.CHK. Останется их только переименовать в DEFAULT.
Либо есть вариант скачать их сразу с контроллера в который вы загрузили программу.