How to install splint on Debian Unstable (Sid)