Fix selection of Grub version.