mongodb: Fix build