finally get green again on Travis. Root cause not clear yet but likely encoding/charset related