update debian control file