set wordpress to 3.5.1