php53: add mongo pecl extension