Changed Travis-ci script