removed tx.exe and download it on demand (issue #4409)