Modifications to lua-static