Merge pull request #433 from markhamstra/debFix

Updated Debian packaging
(cherry picked from commit 494d3c077496735e6ebca3217de4f0cc6b6419f2)

Signed-off-by: Patrick Wendell <pwendell@gmail.com>