Install Teuchos as well