Filename: //usr/share/man/man2/clock_gettime.2.gz

./Ninja\.