Fixes for open-mpi/ompi#1955#1

jsquyres wants to merge 2 commits intoamckinstry:symbol-versioningamckinstry/ompi:symbol-versioningfrom

jsquyres:amckinstry-symbol-versioningjsquyres/ompi:amckinstry-symbol-versioningCopy head branch name to clipboard