won't read through these 2 files in /tools/  too carefully, since not part of production code anyway.