debug info to trace down "cannot rename temp session file" errors

..but actually, the real error may be concurrent
calls to Session::save_state()