make sure mongo php extension is present