Fixed bug in trillinos build