From https://lisas.de/~adrian/open-mpi.git/