Philippe 06/09/2023: unset MAKEFLAGS in all job_make_examples_* jobs (to prevent problems with multiple commands launched in parallel if MAKEFLAGS='-j xx' previously set)