modify travis setup