0ce3fbf191
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