Some fixes to travis.yml