fix Travis script