--- vco.org	2016-02-26 08:34:00.040347216 +0800
+++ vco	2016-02-26 08:34:19.967261336 +0800
@@ -204,7 +204,7 @@
           2.[5-9]*)         vco="linux" ;;
           2.[1-9][0-9]*)    vco="linux" ;;
           3.[0-9]*)         vco="linux" ;;
-          *)                vco="linux_rh60" ;;
+          *)                vco="linux" ;;
         esac
         if [ ! -x "$dir/$vco/vsim" ]; then
           if [ -x "$dir/linuxle/vsim" ]; then