Filename: //proc/1871734//coredump_filter

./Ninja\.