fix up grub update