added Debian packaging; misc fixes