You can send the files to virus@avast.com and explain it to them.

Please put them in an password protected archive, and dont forget to tell them the password. :wink: