Switched to the new bootstrap.py.