fix Lua prelude
change Lua backend option name