don't produce nonsense if the grub2 theme package is missing