fix php extensions were not installed