another attempt to fix debian/ubuntu packaging