diff --git a/base-fiasco/config/l4env-config.x86 b/base-fiasco/config/l4env-config.x86
index 9200890ea..4191767a3 100644
--- a/base-fiasco/config/l4env-config.x86
+++ b/base-fiasco/config/l4env-config.x86
@@ -34,8 +34,8 @@ BID_COLORED_PHASES=y
 BIDc_USE_SPECIAL_CC=y
 HOST_CC="gcc"
 HOST_CXX="g++"
-CC="$(SYSTEM_TARGET)gcc -m32"
-CXX="$(SYSTEM_TARGET)g++ -m32"
+CC="${SYSTEM_TARGET}gcc -m32"
+CXX="${SYSTEM_TARGET}g++ -m32"
 
 #
 # Tools