Push improved version of debian control