mpif77.openmpi(1) on Linux

The text e3e429d11d88, as Debian 10 (Buster) shipped it.

mpif77.openmpi(1) on Linux now