Merge pull request #6969
7085728 doc: there is no libboost-base-dev, add missing sudo (Wladimir J. van der Laan)