diff --git a/Tuprules.tup b/Tuprules.tup
index 3bc9dfba9..54585635d 100644
--- a/Tuprules.tup
+++ b/Tuprules.tup
@@ -2,6 +2,11 @@
 
 export PKG_CONFIG_PATH
 
+CC  = `pkg-config genode-base --variable cc`
+CXX = `pkg-config genode-base --variable cxx`
+LD  = `pkg-config genode-base --variable ld`
+AR  = `pkg-config genode-base --variable ar`
+
 ifndef DEPOT_USER
 error CONFIG_DEPOT_USER is undefined
 endif
diff --git a/libretro/Tuprules.tup b/libretro/Tuprules.tup
index 101986c18..371d9b223 100644
--- a/libretro/Tuprules.tup
+++ b/libretro/Tuprules.tup
@@ -1,6 +1 @@
-CC = `pkg-config genode-base --variable cc`
-CXX = `pkg-config genode-base --variable cxx`
-LD = `pkg-config genode-base --variable ld`
-AR = `pkg-config genode-base --variable ar`
-
 CFLAGS += -DFRONTEND_SUPPORTS_RGB565