allow grub-install to be called grub2-install (used in gentoo)