Fixed bug in coloring libstdc++.so