Minor fixes to travis scripts