improve Bash.pkill
commit at Fri Jul  4 23:54:00 HKT 2014