My web host has detected a virus on the server. The file that they say is a virus "core/vbpatch_v10835.php". Does anyone know if this is a legit file?