more debian fixes