Some changes in travis-ci