various debian/ scripts fixes