Add php extensions to setup