bugfixes for version-file