思い当たる節しかなかったけど、sudo apt install libopenmpi3 で解決した。シングルで走らせてたので結構ヤバかった。