other changes to travis