issue #910: make toolchain installation configurable