grub-pc-bin has no copyright file