Fix issues in travis infrastructure.