/gnu/store/iizay3lwf8r4b9xyv8srfbgnc7c7v60x-openmpi-4.1.6.tar.zst.drv