Modify travis.yml to make it work