updates MongoDB to 2.12.4