Elena ``of Valhalla'' at 2016-07-29T20:12:19Z
updatish: apparently it's not "recent version of debian" that works, it's "32 bit version of debian" that does.
I thought I had done an amd64 installation with the netinstall, but actually it was an i386 one.