Fixing missing get_vaddr function in bin plugin elf64