Some fixes in the travis config