compile php with soap extension