The latest toolchain has some issues on Linux (and on macOS we need an update to match it). Update the instructions in the meantime.