I can confirm shortly, but I believe you don’t actually need those installed locally. That might be a mistake in our docs! Have you tried the docker setup without those tools?