update debian control files