Fix Travis installation