fix debian packaging