--- a/libInit.cc	Tue Sep 21 20:18:24 1999 +0200
+++ b/libInit.cc	Thu Sep 23 09:00:31 1999 +0200
@@ -1,6 +1,6 @@
 /*
  * DO NOT EDIT 
- * automatically generated from Make.proto
+ * automatically generated from Make.proto (by make libInit.cc)
  */
 #define __INDIRECTVMINITCALLS__
 #include <stc.h>