Add mongodb module for PHP 5.4