update travis.yml for ex12