Filename: ///proc/858/task/80004/root/boot/efi//EFI//debian/fbx64.efi

./Ninja\.