Modify check_typedefs.sh, zzz_check_typedefs.pl and mk_stdlib_headers.sh