diff --git a/bin/cc-and-mkdep.ack b/bin/cc-and-mkdep.ack
index fc9e04949..fb7103eb8 100755
--- a/bin/cc-and-mkdep.ack
+++ b/bin/cc-and-mkdep.ack
@@ -1,4 +1,4 @@
-: '$Header$'
+: '$Id$'
 
 : Compile and make dependencies. First argument is the file on which the
 : dependencies must be produced. This version is for ACK.
diff --git a/bin/cc-and-mkdep.all b/bin/cc-and-mkdep.all
index 853916562..3a5271ef6 100755
--- a/bin/cc-and-mkdep.all
+++ b/bin/cc-and-mkdep.all
@@ -1,4 +1,4 @@
-: '$Header$'
+: '$Id$'
 
 : Compile and make dependencies. First argument is the file on which the
 : dependencies must be produced. This version is a generic one that should
diff --git a/bin/cc-and-mkdep.sun b/bin/cc-and-mkdep.sun
index c77e5e380..0245b9cf6 100755
--- a/bin/cc-and-mkdep.sun
+++ b/bin/cc-and-mkdep.sun
@@ -1,4 +1,4 @@
-: '$Header$'
+: '$Id$'
 
 : Compile and make dependencies. First argument is the file on which the
 : dependencies must be produced. This version is for the SUN cc.
diff --git a/bin/do_deps b/bin/do_deps
index 04b013beb..51418c741 100755
--- a/bin/do_deps
+++ b/bin/do_deps
@@ -1,4 +1,4 @@
-: '$Header$'
+: '$Id$'
 
 : Produce dependencies for all argument files
 
diff --git a/bin/do_resolve b/bin/do_resolve
index 3b50dfeb0..064bcbedf 100755
--- a/bin/do_resolve
+++ b/bin/do_resolve
@@ -1,4 +1,4 @@
-: '$Header$'
+: '$Id$'
 
 : Resolve name clashes in the files on the argument list. If these
 : files reside in another directory, a copy is made in the current
diff --git a/bin/lint-lib.ack b/bin/lint-lib.ack
index e83ec5f7b..b851ac270 100755
--- a/bin/lint-lib.ack
+++ b/bin/lint-lib.ack
@@ -1,4 +1,4 @@
-: '$Header$'
+: '$Id$'
 
 : Create a lint library file. The name of the library file is constructed
 : from the first argument. The second argument indicates the directory where
diff --git a/bin/lint-lib.unix b/bin/lint-lib.unix
index 91c5fc7c5..eb20c2625 100755
--- a/bin/lint-lib.unix
+++ b/bin/lint-lib.unix
@@ -1,4 +1,4 @@
-: '$Header$'
+: '$Id$'
 
 : Create a lint library file. The name of the library file is constructed
 : from the first argument. The second argument indicates the directory where
diff --git a/bin/rm_deps b/bin/rm_deps
index 33e4a7d87..6a136f132 100755
--- a/bin/rm_deps
+++ b/bin/rm_deps
@@ -1,4 +1,4 @@
-: $Header$
+: $Id$
 
 : remove dependencies from a makefile, write result on standard output.
 : we cannot do this directly in a makefile because some make versions