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

./Ninja\.