minor change in php_mongo provisioning