ADD_LABEL         667 src/filemanager/filegui.c         ADD_LABEL (i);
ADD_LABEL         671 src/filemanager/filegui.c     ADD_LABEL (8);              /* Overwrite this file? */
ADD_LABEL         681 src/filemanager/filegui.c     ADD_LABEL (13);             /* Overwrite all files? */