update debian/ as well