Fix issue #1713: Change killProc signal from SIGKILL to SIGTERM.