require grub-fixes.inc