Fix travis-ci script