--- vmware-config.pl.old	2005-09-17 19:16:23.000000000 +0100
+++ vmware-config.pl	2005-09-17 19:31:36.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");
@@ -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";
   }