Switch debian/copyright from GPL3 to GPL2