Some minor debian packaging fixes