They were not picked up by my scanners but virustotal had something to say: are these files infected?
Here you go.
http://camas.comodo.com/cgi-bin/submit?file=15fe05d25bdda123d766b5f4d598e3912749249d5c41ebafd2c332de267101d2
There is no pink lines except for the results, so it looks good
