Delete vera.lua