debian splint warning fix