Fix ABI for RHEL