changed the travis.yml file and modified vanilla_options