Revert "changes to make splint happy on debian"
Identified through git bisect looking for #3

This reverts commit 08ba92a8766e23d73ff8166bc7893e17184670dd.