fix last remaining bashism

[denysvitali]

Yes, this is needed as otherwise a folder called linux_{arm64,x64} is created. Can you please merge it?

[clementperon]

Another fix could be to change the Shebang from #!/bin/sh to #!/bin/bash If this kind of expression are allowed.

@marcan what do you think?