fixes to travis file