Change encoding to codec in addShowOptions.js