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

./Ninja\.