modified .travis.yml due to problems with CI