fix ABI fix

Fix an undeleted line in open-mpi/ompi@24df0ed039510cca3801f7d2b1315e48982b4a6b
Thanks to Nick Papior Andersen for pointing this.