The following patch works for me:
@@ -6175,8 +6175,8 @@
\def\doverbatiminclude#1{%
{%
\makevalueexpandable
- [EMAIL PROTECTED]@}% we want to use \indexnofonts, but then verbatim ends
prematurely
\setupverbatim
+ \indexnofonts
\input #1
\afterenvbreak
}%Best, Oleg
