Fix missing MongoDB extension