yet another grub-install if/else fix