simplify Debian packaging