Fix the bootstrap script to work on Python3.