Copyright for selinux-basics source package in Disco