mongodb: upgrade to 2.4.0