some debian fixes