Update sertexos.lua