Adds MongoDB extension