Steps toward fixing the reopen of a file being debugged