If the program crashes, a session file is created here.