fixes to travis setup