gpart: contradiction between OpenFOAM's scotch documentation and makeSCOTCH

Summary

The documentation says on point 6 that the gpart executable can be called from $SCOTCH_ARCH_PATH/bin but the binaries of the scotch library are not built by the makeSCOTCH script. My personal workaround was to modify the make command from make libscotch to make because the libscotch directive excludes the binaries. I also eliminate the rm on the compiled bin folder. I'm attaching a patch file, although I'm not sure this is the type of solution the developers are looking for (I've read that a the binaries cannot be built with a renamed scotch).

Steps to reproduce

Taken from step 6. here:

source $(foamEtcFile config.sh/scotch)
export PATH=$PATH:$SCOTCH_ARCH_PATH/bin
gpart

Example case

A case is not necessary because the gpart binary is not compiled.

What is the current bug behaviour?

No gpart binary is available when compiled from $WM_THIRD*

What is the expected correct behavior?

A gpart binary should be in $WM_THIRD_PARTY_DIR/platforms/$WM_ARCH$WM_COMPILER$WM_PRECISION_OPTION$WM_LABEL_OPTION/$SCOTCH_VERSION/bin aka $SCOTCH_ARCH_PATH/bin

Relevant logs and/or images

Environment information

OpenFOAM version : v1912 ( OpenFOAM-v1912.200403 ) [I think the issue affects many versions]

Operating system : ubuntu 20.04

Possible fixes

See attachment (the same trick does not work for ptscotch).makeSCOTCH.patch