Some adjusts in travis script.