static void unix_killProcesses(Collection<Int> pids) {
  if (empty(pids)) ret;
  L<S> pids2 = allToString(pids);
  S s = joinWithSpaces(pids2);
  print("Killing processes: " + s); 
  backtick("kill " + s);
}