diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 9226ecb..fad092a 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -43,7 +43,7 @@ jobs:
            export PATH=$(readlink -f ./gcc-*/bin/):$PATH
            cd ./circle-stdlib/libs/circle/boot
            make
-           make armstub
+           make armstub64
            cd -
            mkdir -p MiniDexed
            cp -r ./circle-stdlib/libs/circle/boot/* MiniDexed