addin default_library.json to tx