/bin/get_bootstrap_file.py needs to use sys.stdout not stdout\!