Index: libstdc++-v3/python/Makefile.in
--- libstdc++-v3/python/Makefile.in.orig
+++ libstdc++-v3/python/Makefile.in
@@ -618,10 +618,10 @@ gdb.py: hook.in Makefile
 install-data-local: gdb.py
 	@$(mkdir_p) $(DESTDIR)$(toolexeclibdir)
 	@libname=`sed -ne "/^library_names=/{s/.*='//;s/'$$//;s/ .*//;p;}" \
-	          $(DESTDIR)$(toolexeclibdir)/libstdc++.la`; \
+	          $(DESTDIR)$(toolexeclibdir)/libestdc++.la`; \
 	if [ -z "$$libname" ]; then \
 	  libname=`sed -ne "/^old_library=/{s/.*='//;s/'$$//;s/ .*//;p;}" \
-		  $(DESTDIR)$(toolexeclibdir)/libstdc++.la`; \
+		  $(DESTDIR)$(toolexeclibdir)/libestdc++.la`; \
 	fi; \
 	echo " $(INSTALL_DATA) gdb.py $(DESTDIR)$(toolexeclibdir)/$$libname-gdb.py"; \
 	$(INSTALL_DATA) gdb.py $(DESTDIR)$(toolexeclibdir)/$$libname-gdb.py ; \
