modify debian/control