Fixup php builddef