[FIX] backward compatibility with libstd++