Update get of nshmp-lib to be more consistent.
enabled an automatic merge when the pipeline for 8d563ec7 succeeds
merged
mentioned in commit ec8c8c4d