Upgrade to MRI 2.1.2