renaming of files and keys -> KeySet