Merge pull request #11
debian packaging