some kludging to make grub2 build boot images...