P.S. Sorry for the noise, but be sure you've got r62388 (committed a few minutes after my last mail), which removes -DDEBUG from hitex_CPPFLAGS (in hitexdir/am/hitex.am), i.e., disables the low-level interactive debugging mode. -k