grub installation bugfix