Fix some issues with deb package generation