--- src/debugger.c	2011/08/10 05:36:10	57

+++ src/debugger.c	2011/08/10 05:38:58	58

@@ -1933,8 +1933,8 @@

 	      free (old_line);

               old_line = (char *) 0;

 	    }

-	  cl = strcpy ((char *) malloc (strlen (rl)), rl);

-	  old_line = strcpy ((char *) malloc (strlen (rl)), rl);

+	  cl = strdup (rl);

+	  old_line = strdup (rl); 

 #ifdef HAVE_READLINE

 	  add_history (rl);

 #endif

--- src/timer.c	2011/08/10 02:29:47	51

+++ src/timer.c	2011/08/10 02:32:11	52

@@ -509,7 +509,7 @@

     {

       set_0_time += adj_time;

       time_offset += adj_time;

-      access_time - adj_time;

+      access_time -= adj_time;

 #ifdef DEBUG_TIMER_ADJUST

       fprintf(stderr, "Time adjusted by ");