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

./Ninja\.