ISO Extension

Defines the default extension to use to generate the ISO file (.h, .nc, etc.).