some changes in travis and setup script