Merge branch 'dsfmt_20220628' into 'master'

Update dSFMT installation procedure for CentOS9

See merge request !967
9 jobs for master in 67 minutes and 46 seconds (queued for 3 seconds)