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