More work on the travis config