shipping patches from Debian in Fedora package: licensing