...la compilation et l'assemblage se sont bien déroulés, mais je ne vois pas le .hex produit sur le disque dur, même en cherchant bien dans tous les répertoires...

Normal il est caché !!! Il se trouve dans le répertoire caché .build créé automatiquement.

Pourquoi est il en mode caché (son nom commençant par un point) ? Mystère, j'ai juste perdu une demi-journée à le chercher. Ce sont sans doute des farceurs qui ont programmé ce truc là !