Be a bit more explicit about what ABI we're choosing.