SERVER-7776: fix killop.js