Add Teuchos source dir as well