define "make-dbg" package with debugging symbols in debian/control, refine debian/rules