ADD_LABEL         669 src/filemanager/filegui.c         ADD_LABEL (i);
ADD_LABEL         673 src/filemanager/filegui.c     ADD_LABEL (8);              /* Overwrite this file? */
ADD_LABEL         683 src/filemanager/filegui.c     ADD_LABEL (13);             /* Overwrite all files? */