Fixed arch and target distro in debian packaging