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