jenkins-build: packaging for debian