* when this function is used, MPI errors yield a nice core file to inspect
  with a debugger. (Remember to look at /proc/sys/kernel/core_uses_pid.)