undefined var in IML_or_FLINT fixed