Con el bbs tools modifica el nombre de los originales y los guarda, si te o han parcheado con otro programa, lo desconozco. Siempre puedes probar de parchear, siempre ejecutando como administrador y antivirus desactivado. Un saludo.