modify Travis script