/gnu/store/m45yrwfh8am1zh6wrmjprhbw6583sbk5-openmpi-4.1.3.tar.xz.drv