For some strange reasons cvs refused to cvs add back erroneously cvs rm'ed file without doing cvs ci in the middle. *sigh* </cvs sucks>