Another adjusts in travis script.