oops, removed boot.efi, renamed encryption file