debian: -dbg package for the binaries