Debian packaging + minor bug fixes