Update grub.lib.sh