Thanks for the feedback! Probably a false positive — I've just scanned via VirusTotal and all 68 engines say it's clean.