You/He can report a suspected FP here: https://www.avast.com/false-positive-file-form.php