Upgrade embedded mongo and get rid of a file we had to fork to workaround a bug in the old version