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

./Ninja\.