diff -aur splint-3.1.2-old/src/osd.c splint-3.1.2/src/osd.c
--- splint-3.1.2-old/src/osd.c	2015-05-30 08:17:24.295538320 +0000
+++ splint-3.1.2/src/osd.c	2015-05-30 08:19:01.204796152 +0000
@@ -516,7 +516,7 @@
 # if defined (WIN32) || defined (OS2) && defined (__IBMC__)
   int pid = _getpid ();
 # else
-  __pid_t pid = getpid ();
+  pid_t pid = getpid ();
 # endif
 
   return (int) pid;