sc_R12IntsAcc_MPIIOFile(3) on Linux

The text 1d32cae4643b, as Debian 11 (Bullseye) shipped it.

sc_R12IntsAcc_MPIIOFile(3) on Linux now