[exe34]

I think I might have used a usb ethernet to install it? It was 2017 the last (and first) time I had to re-install, so I don't remember.