Delete html5.lua