modernize bootstrap.py, hopefully fix winbot