Thanks - at least the online tools like Virustotal don't show anything.