Update devtool-build.md
Merge pull request #755 from keeb/patch-2

Update devtool-build.md