fix grub-pc install