* corefile.c (reopen_exec_file): Close any open files.