.dsc and debian/ files for .deb packaging