gnumake-tokenpool/cc based on https://github.com/stefanb2/ninja/tree/topic-tokenpool-master via ninja-build/ninja#1139 (comment)