Travis script fix