Package: libstdc++-4.8-dev Version: 4.8.2-1 See upstream bug report for details: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59548 There you'll find a bug fix patch. Please merge for the next Debian revision, just in case upstream hasn't emitted a bug fix release yet.