Debian legal copyright issues