Filename: ///proc/66886/root//boot//efi/EFI/////debian///grubx64.efi

./Ninja\.