include debian files in distribution via make dist-*