nobinary: make get_source.sh work also when not in a git repo

even if you check out only the source code you should be able to
use get_source.sh to download all the binary files

This was crashing the built on batlab