Linux binary build: Fix worker processes not working on linux systems with bash >= 4.3