Index: src/putc_unlocked.c
--- src/putc_unlocked.c.orig	2003-08-18 21:17:08.000000000 +0200
+++ src/putc_unlocked.c	2004-03-08 10:46:48.000000000 +0100
@@ -24,8 +24,11 @@
 
 #include <stdio.h>
 
+#ifndef putc_unlocked
 int
 putc_unlocked (int c, FILE *stream)
 {
   return putc (c, stream);
 }
+#endif
+