K 10 svn:author V 7 thierry K 8 svn:date V 27 2017-01-22T20:35:34.778028Z K 7 svn:log V 174 Unbreak after the upgrade of Gcc to 4.9. It appears that now an explicit link to libc++ is required. Analysed with pfg@ and Thomas Helfer (tfel-mfront upstream at cea.fr). END