Filename: //usr/share/man/man3/mrand48.3.gz

./Ninja\.