611d7c2d27
Since open-mpi/ompi@47fd2313ab the backing file is now in /dev/shm by default. As a consequence, the backing file name has to include the jobid so more than one job can run at a time. Signed-off-by: Gilles Gouaillardet <gilles@rist.or.jp>