Filename: //proc/858//root/usr//share/doc//php5.6-readline/EXTENSIONS.gz

./Ninja\.