Despite the subject, the thread is here: <http://gcc.gnu.org/ml/gcc/2013-11/msg00153.html> One problem I see is that the split in Debian between gcc and gnatgcc needs manual action (but build with CC=gnatgcc CXX=g++ works). Are there other issues?