linux 32 bit system libs