2 ms·

I hope you can just sudo apt-get install openmpi... If that is the case, I will consider getting one.