Fix mongo extension for php