oops, to be more precise I noticed a rename there towards `mpi_mpifh`; I guess that's 1.7.3 definition