Fix PHP extension not load error