Unify names
build.py: unify toolchain names