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

./Ninja\.