Re: [PATCH 1/1] doc/build/gcc.rst: add missing apt-get *install*