Current https://jolt.a16zcrypto.com/usage/quickstart.html doesn't suggest to install the toolchain until much later in troubleshooting section, is it supposed to be like that?