Kill the old chroot-maintenance tools.