Travis-ci script update