VERSION: Bump version number up to 4.0.1. (CVE-2013-0172)