Make v1.7.0 default in bootstrap.py