Move some system-specific info to non-vc'ed file