diff --git a/recipes/src/jitter_sponge/content.mk b/recipes/src/jitter_sponge/content.mk
index 7bfc388..ff70572 100644
--- a/recipes/src/jitter_sponge/content.mk
+++ b/recipes/src/jitter_sponge/content.mk
@@ -2,6 +2,7 @@ SRC_DIR = src/server/jitter_sponge
 include $(GENODE_DIR)/repos/base/recipes/src/content.inc
 
 MIRROR_FROM_REP_DIR = \
+	include/spec/x86_64/world/rdrand.h \
 	lib/import/import-libkeccak.mk \
 	lib/mk/libkeccak.inc \
 	lib/mk/spec/32bit/libkeccak.mk \
diff --git a/recipes/src/test-rdrand/content.mk b/recipes/src/test-rdrand/content.mk
index d5ce335..e5347c5 100644
--- a/recipes/src/test-rdrand/content.mk
+++ b/recipes/src/test-rdrand/content.mk
@@ -1,7 +1,7 @@
 SRC_DIR = src/test/rdrand
 include $(GENODE_DIR)/repos/base/recipes/src/content.inc
 
-content: include/spec/x86_64/os/rdrand.h
+content: include/spec/x86_64/world/rdrand.h
 
-include/spec/x86_64/os/rdrand.h:
+include/spec/x86_64/world/rdrand.h:
 	$(mirror_from_rep_dir)
diff --git a/src/test/rdrand/main.cc b/src/test/rdrand/main.cc
index a44cff9..a2899c2 100644
--- a/src/test/rdrand/main.cc
+++ b/src/test/rdrand/main.cc
@@ -11,7 +11,7 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#include <os/rdrand.h>
+#include <world/rdrand.h>
 #include <base/component.h>
 #include <base/log.h>