Enable MIRA3 test (now possible with current Galaxy)