Exit if an unknown encoding option is specified