debian packaging fixes, now able to successfully build a .deb