* linux/mac: improve build script Also apply linting suggestions from shellcheck. * ci: check build script with shellcheck/bash -n
* linux/mac: improve build script Also apply linting suggestions from shellcheck. * ci: check build script with shellcheck/bash -n