fixes to travis config