Then the options are always right. Previously, the options could be
wrong because, e.g., VTK support was turned off, but the exodus
session was not.