Modified .travis.yml due to a problem w/ CI server