Some travis script changes