change system encoding for Travis