echo '#define LOCALEDIR "/usr/share/locale"'; \
  echo '#define MANDIR "/usr/man"'; \
  echo '#define MANEXT ""'; \
  echo '#define PKGDATADIR "/usr/share/grub"'; \