Travis config modified