[MacPorts] #23819: error in openmpi portfile