Use newer mongo extension