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