--- /usr/bin/gcc-config.orig	2008-08-20 11:19:46.000000000 +0200
+++ /usr/bin/gcc-config	2008-08-20 11:23:24.000000000 +0200
@@ -380,6 +380,11 @@ switch_profile() {
 		ewarn "  # source /etc/profile"
 		echo
 	fi
+	
+	# Workaround for bug #125728
+	if [[ -f ${LDPATH}/libgcj.la ]] ; then
+		ln -sf ${LDPATH}/libgcj.la /usr/lib/libgcj.la
+	fi
 
 	return 0
 }