Fix replimoc4.mj test case