diff --git a/CMakeLists.txt b/CMakeLists.txt
index b61dded..9216280 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -31,4 +31,4 @@ target_include_directories(ecdaa_verifier PUBLIC
         ${ECDAA_AMCL}
         )
 target_link_libraries(ecdaa_verifier /usr/lib/x86_64-linux-gnu/libecdaa.so)
-target_link_libraries(ecdaa_verifier /usr/lib/x86_64-linux-gnu/libecdaa-tpm.so)
+# target_link_libraries(ecdaa_verifier /usr/lib/x86_64-linux-gnu/libecdaa-tpm.so)
diff --git a/ecdaa_verifier b/ecdaa_verifier
new file mode 100755
index 0000000..63fba2f
Binary files /dev/null and b/ecdaa_verifier differ
diff --git a/verifier.h b/verifier.h
index cdb5f73..6139cce 100644
--- a/verifier.h
+++ b/verifier.h
@@ -5,7 +5,7 @@
 #ifndef ECDAA_ISSUER_MEMBER_H
 #define ECDAA_ISSUER_MEMBER_H
 #include <ecdaa.h>
-#include <ecdaa-tpm.h>
+// #include <ecdaa-tpm.h>
 #include "server.h"
 #include "client.h"
 #include "common.h"