A tool for atomically exchanging files and directories on Linux