Use tmp-and-rename-operation.