Fixing travis-ci script