[Hafnium] Getting Started page: problem with the command under "Getting the source code"