luasocket libs not being included in filesystem

I have luasocket enabled (I have CONFIG_LUA_RTOS_LUA_USE_SOCKET=y in sdkconfig), but when I do make flashfs the libs are not added to the filesystem. I see luasocket being build during make, and there are binaries generated in build/luasocket/.

Doing make fs the output is:

$ make fs
Finding a serial port with USB VID:PID 0403:6015 ...
Finded /dev/ttyUSB0
Generating Lua RTOS partition table...

Partition      Offset         Size    Size
------------------------------------------
nvs        0x00009000   0x00006000     24K
storage    0x0000f000   0x00080000    512K
unused     0x0008f000   0x00001000      4K
factory    0x00090000   0x00370000   3520K

Making spiffs image...
/.
/system.lua
/examples/.
/examples/lua/.
/examples/lua/neopixel.lua
/examples/lua/i2c.lua
/examples/lua/pwm.lua
/examples/lua/adc-tmp36.lua
/examples/lua/uart-terminal.lua
/examples/lua/wifi.lua
/examples/lua/esp-touch.lua
/examples/lua/ble-eddystone.lua
/examples/lua/eddystone.lua
/examples/lua/stepper.lua
/examples/lua/mqtt.lua
/examples/lua/ble-scan.lua
/examples/lua/wps-pin.lua
/examples/lua/ble-eddistone-txpow.lua
/examples/lua/blink.lua
/examples/lua/lora.lua
/examples/lua/abp.lua
/examples/lua/bme280-tft.lua
/config.lua
/autorun.lua

How can I debug what is going on? I'm using a ESP32 THING.

whitecatboard / Lua-RTOS-ESP32

luasocket libs not being included in filesystem #207