Fix Travis script