package.loadlib() can be used to load a dynamic C library allowing arbitrary code execution in mod charts and themes. So far I haven't found any theme that depends on the library, so I think removing it shouldn't break anything.