--- gawk-3.1.1.orig/profile.c	Tue Apr 16 13:58:49 2002
+++ gawk-3.1.1/profile.c	Fri May 17 14:30:28 2002
@@ -71,9 +71,6 @@
 void
 init_profiling(int *flag, const char *def_file)
 {
-	/* run time init avoids glibc innovations */
-	prof_fp = stderr;
-
 #ifdef PROFILING
 	if (*flag == FALSE) {
 		*flag = TRUE;