Debian pkg

See the changesets for details...