modified:   build_and_install_stm32lab_toolchain.py