BRANCH 4.2: fixed bad version file