# Pastebin OXW0fM45
could be better obvs, but i do:
mkdir -p out/v0.17.3.2/
export WORKDIR=out/v0.17.3.2
BINS=`docker exec gitrun sh -c "echo $WORKDIR/*"`
for i in $BINS; do docker cp gitrun:/home/ubuntu/$i out/v0.17.3.2/; done