Move tinf library to toplevel directory.