fix testbed-MICL