v0.4.2.3: set VersionString