4489a4490,4511
>     # Pick up 7.1 Xorg
>     elsif ($minor == 1) { 
>       my $xorg_modules_dir = xorg_find_modules_dir();
>       $gXMouseDriverFile = $xorg_modules_dir . '/input/vmmouse_drv.so';
>       # Existing vmware_drv.so driver in default build. Commented following line
>       # $gXVideoDriverFile = $xorg_modules_dir . '/drivers/vmware_drv.so';
>       
>       # If there is an existing driver replace it by ours, backing up the existing
>       # driver.
>       # Existing vmware_drv.so driver in default build. Commented following line
>       # backup_file_to_restore($gXVideoDriverFile, 'OLD_X4_DRV');
>       backup_file_to_restore($gXMouseDriverFile, 'OLD_X4_MOUSEDRV');                        
>       my %p;
>       undef %p;
>       # Existing vmware_drv.so driver in default build. Commented following three lines
>       # install_file(db_get_answer('LIBDIR')  . '/configurator/XOrg/7.0' .
> 	#	   ($gIs64BitX ? '_64' : '') . '/vmware_drv.so',
> 	#	   $gXVideoDriverFile, \%p, 1);
>       install_file(db_get_answer('LIBDIR')  . '/configurator/XOrg/7.0' .
> 		   ($gIs64BitX ? '_64' : '') . '/vmmouse_drv.so',
> 		   $gXMouseDriverFile, \%p, 1);
>     }