some changes to the travis config