debian/control update