Updating toolchain_picker.py