x86_64: os.abi3.so
