BitDefender updated, but bug in TRK, yet an easy workaround

It seems BitDefender has updated their Linux version of their virusscanner from 7.5-3 to 7.5-4, which also changes the download URL used by TRK's virusscan script. This is a scenario I had foreseen in TRK 3.2. I can adapt the url on the trinityhome webserver so you get redirected to [...]