BTW, the latest Trilinos release is 10.4.0 while in the Debian changelog we have 10.2.0. I guess we should still go for 10.4.0, right?