--- vmware-player-distrib/bin/vmware-config.pl.orig	2005-09-29 23:49:07.000000000 +0200
+++ vmware-player-distrib/bin/vmware-config.pl	2005-10-24 18:39:56.000000000 +0200
@@ -8156,11 +8156,8 @@
          error('Please shut down any running VMs and run this script again.' .
                "\n\n");
       } else {
-         if (system(shell_string(db_get_answer('INITSCRIPTSDIR') . '/vmware')
-                    . ' stop')) {
-            error('Unable to stop services for ' . vmware_product_name() .
-                  "\n\n");
-         }
+             system(shell_string('/etc/init.d/vmware')
+                    . ' stop');
      }
    }
    print "\n";
@@ -8186,8 +8183,8 @@
   }
   if (vmware_product() ne 'server') {
     configure_gtk2();
-    createMimePackageFile();
-    configureDesktopFiles();
+#   createMimePackageFile();
+#   configureDesktopFiles();
     configure_mon();
     configure_pp();
     configure_net();
@@ -8255,7 +8252,7 @@
   db_save();
   # Then start VMware's services
   if (!$gOption{'skipstopstart'}) {
-    system(shell_string(db_get_answer('INITSCRIPTSDIR') . '/vmware') . ' start');
+    system(shell_string('/etc/init.d/vmware') . ' start');
     print "\n";
   }