/gnu/store/ysmsc7a16wnax169i33sa5rv2v8zlvyb-openmpi-4.1.4.tar.xz.drv