--- vmware-distrib/bin/vmware-config.pl.ori	2005-09-18 01:30:02.000000000 +0100
+++ vmware-distrib/bin/vmware-config.pl	2005-09-18 01:32:48.000000000 +0100
@@ -8149,7 +8149,7 @@
          error('Please shut down any running VMs and run this script again.' .
                "\n\n");
       } else {
-         if (system(shell_string(db_get_answer('INITSCRIPTSDIR') . '/vmware')
+         if (system(shell_string('/etc/init.d/vmware')
                     . ' stop')) {
             error('Unable to stop services for ' . vmware_product_name() .
                   "\n\n");
@@ -8179,8 +8179,8 @@
   }
   if (vmware_product() ne 'server') {
     configure_gtk2();
-    createMimePackageFile();
-    configureDesktopFiles();
+#   createMimePackageFile();
+#   configureDesktopFiles();
     configure_mon();
     configure_pp();
     configure_net();
@@ -8248,7 +8248,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";
   }