bugfix for phpext_mongo extraction