general fixes in deb package