Fixed #9084 - Best approach for an OS to atomically rename the session file.