Patch debian fixes

Several debian specific updates based on suggestions in the commit.
Fixed a small typo in debian/policies file.