splint cleanup for version 3.1.2 on Ubuntu