+dist name in debian packaging