1Use ../download_tools.py to download the files in this directory. Note that
2they are downloaded from gs://chrome-webrtc-resources, which is a
3google-internal bucket. If you're a non-Googler you'll have to download and
4compile these tools manually in order to use them.
5