Re-fix travis config