Use python 3.2 for bootstrap script