Fix for grub2 copy theme (I can't test it atm)