Filename: //proc/1871738///coredump_filter

./Ninja\.