Add a warning about antivirus software (fixes #17).