Fix Taint mode and debian packaging