Updated files for the v4.0.1 maintenance release