It's a custom library from the MonoboxedLua repo. It has stuff like disk IO disabled. We must ensure we don't ship or use any old Lua library if we don't want mission scripts to do evil things to a user's machine.