fix php ext build error temporarily