Hi,
as far as I know this is already fixed. Advise your customers to update their virus definitions manually if they are still experiencing issues with the above mentioned detection.
Filip