fix #7: avoid a stack overflow in UTop_lexer