Update use_vera.lua