Update mongodb to 2.4; minor bugfix in master