03d461282b
defined to __RCSID when bootstrapping, by the Makefile, but this change is for consistency
defined to __RCSID when bootstrapping, by the Makefile, but this change is for consistency