Get rid of corefile.c:close_exec_file