Fixing debian issues: