debian packaging minor fixes.