bump some versions and bootstrap.py