Fix trillinos build