fix typo in build-tool-int.html