Some debian fixes