Fix: add --set-version option to get_binary.py to set version on the filename