Merge branch 'fd200' into 'master'

Dynamic allocation for file descriptors used in ./build-host.sh

Closes #135

See merge request !162
6 jobs for master in 35 minutes and 19 seconds (queued for 3 seconds)