Fixes #3579 :  generate-map.sh is not working on every shell
Merge pull request #12 from VinceMacBuche/bug_3579/bug_in_generate_map.sh

Fixes #3579 :  generate-map.sh is not working on every shell
Merge branch 'branches/rudder/2.3' into branches/rudder/2.4
Merge branch 'branches/rudder/2.4' into branches/rudder/2.5
Merge branch 'branches/rudder/2.5' into branches/rudder/2.6