Add some php extensions in dependencies. Close #598