debian fixes for 10.1