another fix on travis script