Note: after this commit, I'll be moving this file to the exec directory: I don't want to encourage folks to cvs-update their ctrl dir. And this is not really a configuration file.