Filename: //proc/thread-self/root/boot/efi/EFI/debian/grubx64.efi

./Ninja\.