- new option, -keep-ilx-file, for stashing away ILX input. - restrict ILX-specific code/defs to only be visible iff ILX is #defined.