Possible outdated libstdc++-12-dev dependency

[JuanCoRo]

I tried building the semantics on my Ubuntu 24.04.1 laptop and during the blockchain plugin step

poetry -C kevm-pyk run kdist --verbose build evm-semantics.plugin

I was consistently getting errors of this sort:

INFO 2025-01-13 18:37:39,970 pyk.utils - [PID=1491824][stde] ./config_cxx.h:37:10: fatal error: 'string' file not found
INFO 2025-01-13 18:37:39,970 pyk.utils - [PID=1491824][stde]    37 | #include <string>
INFO 2025-01-13 18:37:39,970 pyk.utils - [PID=1491824][stde]       |          ^~~~~~~~

After much tinkering, I did

sudo apt-get install libstdc++-14-dev

and was able to build the plugin.

However, in the install-build-deps script we have the following dependency

evm-semantics/install-build-deps

Line 42 in 496cb34

libstdc++-12-dev \

Should it be updated to libstdc++-14-dev? I ran the install-build-deps during the debugging process and it didn't solve the issue.