Install correct toolchain on CI (#520)