Fix options to build_toolchain.sh