Fix debian control file