smart_kill.pl: bugfix