Change name of JS file used for client-side Lua