keep this file in this folder, or CVS will delete it.