fix for duplicate files in deb package