2 days after I posted this question, gmod released an announcement that some of its latest update files may be marked as a virus.
Yesterday, Bitdefender performed a virus definition update (version 7.63851
). Sure enough, the false positive was fixed.