Fix critical bug -- make TERMSIGNAL option work.