encoding for travis