Switch to pure-Python bootstrap script