How to install netgen-headers on Debian Unstable (Sid)