Add missing vmdef.lua to cmake build