no need to alter XtcPreprocessor's constructor