fix grub install