refine travis script