How to install libtrilinos-intrepid12 on Debian Unstable (Sid)