update wp to actually point to 3.5.1 tag