avoid redundant mentions of build tools

Closes #167 by delegating the matter to #153.