Modify travis config.