diff --git a/src/configure.in b/src/configure.in
index ac97af4009d9c7940a7dc1de7b1c655ddc67f6d1..888f2af7f977c6d66cfcbeb792eb1ecbfcb13389 100644
--- a/src/configure.in
+++ b/src/configure.in
@@ -1,4 +1,4 @@
-AC_REVISION("$Id: configure.in,v 1.711 2003/03/29 01:45:22 mast Exp $")
+AC_REVISION("$Id: configure.in,v 1.712 2003/04/01 19:10:53 mast Exp $")
 AC_INIT(interpret.c)
 AC_CONFIG_HEADER(machine.h)
 
@@ -5808,7 +5808,7 @@ MY_AC_CHECK_PRINTF_INT_TYPE(ptrdiff_t,
 			    PRINTPTRDIFFT,
 			    [%${res}d, %${res}x])
 MY_AC_CHECK_PRINTF_INT_TYPE(INT64,
-			    "" "l" "ll" "L", "l",
+			    "" "l" "ll" "I64" "L", "l",
 			    PRINTINT64,
 			    [%${res}d, %${res}x])
 
@@ -5882,6 +5882,7 @@ TH_RETURN_TYPE work_thread (void *dummy)
   } while (work_time < (CPU_TIME_TICKS / 10) && rt <= rt_start + 1);
   co_signal (&c);
   mt_unlock (&m);
+  return 0;
 }
 
 int main()