Update reenv.lua