encoding header for lib/sup.rb