Remove mongodb, since we don't want it as a subproject