grub-pc has no copyright file