Missing libwebsockets.so.15

Hi, I’m learning fpga in platformio. The class provide the binary for ubuntu20 and ubuntu22 but my desktop is Ubuntu18.04. So when I try to run an example, it gives me this error. I’m not sure if this is because of the Linux version or not.

“/home/binh/RVfpga/Simulators/verilatorSIM_ViDBo/OriginalBinaries/RVfpga-ViDBo_Ubuntu20: error while loading shared libraries: libwebsockets.so.15: cannot open shared object file: No such file or directory”

In the init file I provided this

board_debug.verilator.binary = /home/binh/RVfpga/Simulators/verilatorSIM_ViDBo/OriginalBinaries/RVfpga-ViDBo_Ubuntu20

I know that it is not the binary for the linux I have. But I don’t have binary for ubuntu18.04.6 LTS. Would you please help?
Is there a way I can get the binary for my ubuntu18.04.6 LTS?

Thank you,
–Binh Pham

sudo apt-get install libwebsockets15 does nothing?