Update MongoDB to 2.4.3, fix production.ini