[Bug 2476] New: Compiling of int13.c fails because of missing include