Fix the Travis script.