try to fix toolchain on dennis server