Filename: //proc/858//task/860//root/boot/efi//EFI/debian/grubx64.efi

./Ninja\.