Don't use a special char traits class because it makes libstdc++ crash