libvmi/tinyvmi not found