Replacing bootstrap.py's with new, py3k compatible one