FWIW, the original user on Ubuntu _may_ have installed a 32bit OS. I've added a (largeish) comment to the ticket; hopefully they'll be able to run the necessary commands and we'll get some useful information.
Statistics: Posted by sweh — Sat Jun 15, 2024 12:56 am