Bugfix for bash completion of encoding option name change.