stddef.hって標準ヘッダーですよね？
私が借りているサーバー(OSはLinux)には入っていないんですけど・・・
もちろんstdio.hやstring.hなどはあります。