Better travis scripts