New version files for 4.0.2