Fix debian/control, make lintian happy