Fixes and enhancements for Debian packages