Index: zshrc
==================================================================
--- zshrc
+++ zshrc
@@ -549,11 +549,11 @@
 			if [ -z "$DEVKITA64" ]; then
 				echo "Please set DEVKITA64!"
 				return 1
 			fi
 
-			export PATH="$DEVKITA64/bin:$PATH"
+			export PATH="$DEVKITA64/bin:$DEVKITPRO/tools/bin:$PATH"
 			export cross_host="aarch64-none-elf"
 			export objfw_configure_flags="--with-nintendo-switch"
 			;;
 		wii | wii-u)
 			if [ -z "$DEVKITPRO" ]; then