Remove unneeded, CVS-specific script