How come andseed.bin got infected by a virus?
The file ‘randseed.bin’ is used by PGP to generate a new random session key every time you encrypt something. Afterwards, it is filled with new random data. A virus checker will then of course detect that the file has changed. Since the file has a “bin” extension, most checkers think that it is an executable, and so will inform you they have detected a possible virus. However, this file is only used by PGP to read some random data, and will never be executed. It is therefore safe to put it in the “exclusion” list of your virus scanner, so it will be skipped in future.