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

./Ninja\.