So, I uploaded the executable to this site: https://www.virustotal.com/gui/home/upload
It came back clean after running through tons of virus detectors. I don't really know what's up with that detection other than to say the file would be niche and unheard of and it's likely an overzealous detector. Feel free to upload the file yourself if you want to see the results. Thanks for letting me know about this, btw!