update mongodb to 1.4.12
Merge pull request #2323 from zheng1/master

update mongodb to 1.4.12