fix grub menu