Filename: //usr/include/c++/10/tr1///stdint.h

./Ninja\.