Fixing name issue with Rekall VMCS - To test