Updated files actually containing TIBET