I mean, yeah, that's what happens when you still want to be 32 bit compatible. It's also why I said they were ELF64 when needed. My only point was that it's not like Valve just shipped a bunch of 32 bit binaries and called it a day or x64 support was some kind of after thought that needs future support.