Possible fix for #1213: Using more than a few dozen MPI processes on SuperMike results in a seg fault before getting to hpx_main