misc debian stuff