delete useless s-tei-basics.lua