fixing php build