Adding a pre-built TET lib