Make the encoding configurable