kill some debian kde-workspace patches