diff --git a/srcpkgs/splint/template b/srcpkgs/splint/template
index d51bba366a5..4e3a93eaf29 100644
--- a/srcpkgs/splint/template
+++ b/srcpkgs/splint/template
@@ -15,6 +15,7 @@ checksum=51cd7ba978a366ae1ededac2b927058fd5f45d5455e5a9d640b75ab4e45b748a
 disable_parallel_build=yes
 nocross=yes
 
-post_extract() {
-	sed -i 's/__pid_t/pid_t/g' src/osd.c
+post_patch() {
+	vsed -i 's/__pid_t/pid_t/g' src/osd.c
+	vsed -i -e '/RM.*[.]tab[.]h/d' src/Makefile.am src/Makefile.in
 }