useful extensions to Lua base libraries