Manual: Make the build.sh script portable [skip CI]
Manual: Make the build.sh script portable [skip CI]

Former-commit-id: fd48ca61c747f55f23dfb86dd62fe3bf26e06711 [formerly a26b5c346831b61b487a41baf6b4b2ecd67a2dc8] [formerly a26b5c346831b61b487a41baf6b4b2ecd67a2dc8 [formerly a911101263d2da87d5f390d3cfc1b0a5d5d0dc34]]
Former-commit-id: 7868435bf9c5621fc815d5ccec535b4c7eaf603d
Former-commit-id: b664cbbd83509ca9068ade6c29a03635be71d491
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine