File used to prevent CVS pruning.