In file included from /nix/store/304rig0g637ynwxc23cr791cp3lril66-gcc-8.3.0/include/c++/8.3.0/ext/string_conversions.h:41,
from /nix/store/304rig0g637ynwxc23cr791cp3lril66-gcc-8.3.0/include/c++/8.3.0/bits/basic_string.h:6400,
from /nix/store/304rig0g637ynwxc23cr791cp3lril66-gcc-8.3.0/include/c++/8.3.0/string:52,
from /home/sylvain/code/intel/linux-sgx/linux/reproducibility/code_dir/sgx/psw/urts/parser/binparser.h:43,
from /home/sylvain/code/intel/linux-sgx/linux/reproducibility/code_dir/sgx/psw/urts/loader.cpp:45:
/nix/store/304rig0g637ynwxc23cr791cp3lril66-gcc-8.3.0/include/c++/8.3.0/cstdlib:75:15: fatal error: stdlib.h: No such file or directory
#include_next <stdlib.h>