changes to make splint happy on debian