rex-9/Mathgic not found