Editing: libtee.so.1.0.0