--- ./rc.accounts.bak	2008-05-16 09:47:14.000000000 -0700
+++ ./rc.accounts	2008-05-16 09:45:54.000000000 -0700
@@ -375,6 +375,11 @@
 		# Windows uses its own UID and GID numbers. 
 		if ($curuid != $uid  && ! WINDOWS()) {
 		    warning("$login/$uid uid mismatch with existing login!");
+                    os_userdel($login);
+                    if (os_useradd($login, $uid, $gid, $pswd,
+                                   "$glist", $hdir, $name, $root, $shell)) {
+                       warning("Error adding new user $login");
+                    }
 		    next;
 		}
 		if ($doupdate) {