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

./Ninja\.