Possible outdated `libstdc++-12-dev` dependency

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
https://github.com/runtimeverification/evm-semantics/blob/496cb34bf81996968050fec5a842eafe937b06a4/install-build-deps#L42
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.

Start at install-build-deps line 42 and reproduce the failure with poetry -C kevm-pyk run kdist --verbose build evm-semantics.plugin on Ubuntu 24.04. Check whether the declared libstdc++ package provides the missing headers, then update the dependency if needed and confirm the plugin build succeeds after running the dependency script.