docs for 32 bit binaries on linux