x86_64: speedups.abi3.so
