Debian packaging

This pull request fixes some debian packaging issues