Fixes 1.9.3 build; WEBrick ignores kill -TERM, so use -KILL to take it to the mat.