Merge pull request #1293 from iovisor/tools_fixes
authorBrendan Gregg <brendan.d.gregg@gmail.com>
Wed, 16 Aug 2017 19:20:29 +0000 (12:20 -0700)
committerGitHub <noreply@github.com>
Wed, 16 Aug 2017 19:20:29 +0000 (12:20 -0700)
Couple minor tools fixes


Trivial merge