check 64 or 32 bit linux