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