Update to mongodb 1.3.12. Includes Emily's patch.