Filename: //proc/66886/root/usr//share/man/man2/timer_gettime.2.gz

./Ninja\.