New MongoDB dev release 2.5.4