append php libs: tidy, curl