trying to fix debian packaging