diff --git a/srcpkgs/splint/template b/srcpkgs/splint/template
index 7375a10ad1e..17694459c3e 100644
--- a/srcpkgs/splint/template
+++ b/srcpkgs/splint/template
@@ -1,7 +1,7 @@
 # Template file for 'splint'
 pkgname=splint
 version=3.1.2
-revision=3
+revision=4
 build_style=gnu-configure
 hostmakedepends="flex"
 makedepends="libfl-devel"
@@ -12,3 +12,7 @@ license="GPL-2"
 distfiles="http://www.splint.org/downloads/$pkgname-$version.src.tgz"
 checksum=c78db643df663313e3fa9d565118391825dd937617819c6efc7966cdf444fb0a
 disable_parallel_build=yes
+
+post_extract() {
+	sed -i 's/__pid_t/pid_t/g' src/osd.c
+}