update contrib/debian/