Hardcode ABI to work around misconfiguration (ugly...).