A tool for atomically exchanging files on Linux