gcc 4.7 should work for demangling of CGAL kernel info name