diff --git a/tests/encoding.h b/tests/encoding.h
deleted file mode 120000
index f398b163..00000000
--- a/tests/encoding.h
+++ /dev/null
@@ -1 +0,0 @@
-../toolchains/riscv-tools/riscv-tests/env/encoding.h
\ No newline at end of file
diff --git a/tests/hello.c b/tests/hello.c
index dbfbfe56..626cd930 100644
--- a/tests/hello.c
+++ b/tests/hello.c
@@ -1,5 +1,5 @@
 #include <stdio.h>
-#include "encoding.h"
+#include <riscv-pk/encoding.h>
 #include "marchid.h"
 
 int main(void) {
diff --git a/tests/mt-hello.c b/tests/mt-hello.c
index 5ab47a56..f0f521c7 100644
--- a/tests/mt-hello.c
+++ b/tests/mt-hello.c
@@ -1,4 +1,4 @@
-#include "encoding.h"
+#include <riscv-pk/encoding.h>
 #include <stdio.h>
 #include "marchid.h"