External32 fix#7919

markalle wants to merge 3 commits intoopen-mpi:masteropen-mpi/ompi:masterfrom

markalle:external32_fixmarkalle/ompi:external32_fixCopy head branch name to clipboard