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

./Ninja\.