plugin: debianization.