la realidad es que no importa si llevan .lib.vk o solo el .vkp, se aplican como parches, y ademas que al SEtoolno le importa el nombre de archivo sino la extensión "xxxxxx.lib.vkp" o "xxxxxx.vkp" es lo mismo asi que puedes usar cualquiera