This means that on most Linux distributions where python3 is the default, we
can invoke `python2 script/bootstrap.py` and have it all work