tidied up some debian packaging stuff #869