On 11/09/2015 15:24, Avi Kivity wrote: > This post explains it: > http://developerblog.redhat.com/2015/02/05/gcc5-and-the-c11-abi/ It is quite unfortunate that both C11 and C++11 were published in 2011. As it is, I thought the above link discussed a change to the C ABI... "GCC5 and the C++11 ABI" The author should use c++11 or cxx11 in the URL name. Regards.