You don't need to recompile it if it's already a .velf. A .vpk is just a zip with a .velf and some other stuff like a bubble icon, so downloading one of the .vpks on the HENkaku page and replacing the binary should work.It just needs recompiling as a .vpk. If somebody more skilled than me can do it for us, it'd be appreciated!