Filename: //usr/include/c++///10/ext/random.tcc

./Ninja\.