Some Americans are still using Kaspersky’s antivirus despite U.S. government ban