Other changes in travis file