add a bit of timeout handling to download.sh