Deal with Travis-CI's odd color handling