Update to MRI 2.1.2 on circle