Fix problem with version.txt