ADD_LABEL         643 src/filemanager/filegui.c         ADD_LABEL (i);
ADD_LABEL         647 src/filemanager/filegui.c     ADD_LABEL (8);              /* Overwrite this file? */
ADD_LABEL         657 src/filemanager/filegui.c     ADD_LABEL (13);             /* Overwrite all files? */