fixing Travis script