[FIX] runbot: differential kill and terminate