/gnu/store/m7jj5dg1363i59qd8lk42bb8zfp9linh-openmpi-4.1.1.tar.xz.drv