Update WordPress to 4.0.1.

See #1329.