diff --git a/repos/base/etc/tools.conf b/repos/base/etc/tools.conf
index 961cf07b0..f0182612f 100644
--- a/repos/base/etc/tools.conf
+++ b/repos/base/etc/tools.conf
@@ -24,15 +24,15 @@ endif
 ifeq ($(filter-out $(SPECS),x86_64),)
 CROSS_DEV_PREFIX ?= /usr/local/genode/tool/19.05/bin/genode-x86-
 endif
+ifeq ($(filter-out $(SPECS),arm_64),)
+CROSS_DEV_PREFIX ?= /usr/local/genode/tool/19.05/bin/genode-aarch64-
+endif
 ifeq ($(filter-out $(SPECS),arm),)
 CROSS_DEV_PREFIX ?= /usr/local/genode/tool/19.05/bin/genode-arm-
 endif
 ifeq ($(filter-out $(SPECS),riscv),)
 CROSS_DEV_PREFIX ?= /usr/local/genode/tool/19.05/bin/genode-riscv-
 endif
-ifeq ($(filter-out $(SPECS),arm_64),)
-CROSS_DEV_PREFIX ?= /usr/local/genode/tool/19.05/bin/genode-aarch64-
-endif
 
 #
 # We use libsupc++ from g++ version 3 because