/* Get a saved default entry if possible. */
saved_entryno = 0;
default_file[0] = 0;
grub_strncat (default_file, config_file, DEFAULT_FILE_BUFLEN);
for (i = grub_strlen(default_file); i >= 0; i--)
if (default_file[i] == '/')