MongoDB 2.5.0

Adding devel version back now that we have one again.