fix php build