Fix https://github.com/julianhyde/optiq/issues/195, "Push aggregation into MongoDB adapter".