--- /usr/sbin/gcc_select	Tue Nov  4 09:49:56 2003
+++ /Users/josh/usr/sbin/gcc_select	Tue May 25 00:57:23 2004
@@ -337,6 +337,9 @@
     for driver in gcc g++ gcov; do
       $dashn rm -f $usr/bin/$driver
       if [ -x /usr/bin/$driver$switchto_cc_driver ]; then
+	if [ ! -x $usr/bin/$driver$switchto_cc_driver ]; then
+	  $dashn ln -sf /usr/bin/$driver$switchto_cc_driver $usr/bin/$driver$switchto_cc_driver
+	fi
 	$dashn ln -sf $driver$switchto_cc_driver $usr/bin/$driver
       fi
     done