Filename: ///proc/858/task/860/root/usr/share/man/man3//__ppc_set_ppr_very_low.3.gz

./Ninja\.