revise travis config