grub2 has no copyright file