13fb9be43f
not libstdc++. Unfortunately, it appears that libsupc++ / libstdc++ have a different idea of the type of size_t to the rest of the world, which may cause problems later on... Reported by: des MFC after: 1 week