Pues sí era eso, yo también lo descubrí por ahí, y de hecho pasa con cualquier versión 4.0 de NOD32 o SmartSecurity. En la versión 4.2 lo han solucionado, yo ahora mismo la tengo instalada y todo va perfecto, por si quieres volver a usar un antivirus de ESET ;)
Eso sí, ahora mismo la 4.2 no está en la página española, sólo en la página inglesa de ESET, pero si el inglés no es problema te la recomiendo. Se puede instalar directamente encima de la 4.0 y lo actualiza sin problemas.
Salu2