Filename: //usr/include/c++/10//cinttypes

./Ninja\.