On 11 September 2015 at 14:24, Avi Kivity wrote: > > This post explains it: > > http://developerblog.redhat.com/2015/02/05/gcc5-and-the-c11-abi/ Also http://fedoramagazine.org/gcc-5-in-fedora-whats-an-abi-and-what-happens-when-we-change-it/ and https://gcc.gnu.org/onlinedocs/libstdc++/manual/using_dual_abi.html