Outdated pretty printers for libstdc++ dropped